\begin{tikzpicture}
    \tikzstyle{cal} = [draw, shape=rectangle callout, minimum width=3em]
    \node[] (table) at (0,0) {
        \begin{tabular}{|p{1em}|p{1em}|p{1em}|p{1em}|}
            \hline
             & & & \\ \hline
             & & & \\ 
        \end{tabular}
    };
    \node[anchor=west] (a1) at ([xshift=0.5em]table.north west) {$a_{1}$};
    \node[anchor=west] (a2) at ([xshift=0.5em]a1.east) {$a_{2}$};
    \node[anchor=west] (a3) at ([xshift=0.5em]a2.east) {$a_{3}$};
    \node[anchor=west] (dot1) at ([xshift=0.5em]a3.east) {$\ldots$};
    \node[anchor=south east] (q) at ([xshift=0.5em,yshift=-0.1em]table.west) {$\{q_{0}^{1}, \ldots q_{0}^{n}\}$};
    \node[anchor=north east] (dot2) at ([xshift=0.5em,yshift=-0.1em]table.west) {$\{\ldots\}$};
    
    \draw ([xshift=-0.75em,yshift=0.75em]table.north west)--([xshift=0.39em,yshift=-0.39em]table.north west);
    
    \node (formular) at ([xshift=-5.7em, yshift=-2em]table.south) {$\delta(\{q_{i}{ }^{1}, \ldots q_{i}{ }^{n}\}, a_{k})=\{q_{j}{ }^{1}, \ldots q_{j}{ }^{n}\}$};
    
    \draw [decorate, decoration=brace, red] ([xshift=-5.8em]formular.north east) -- ([xshift=-0.5em]formular.north east);
    
    \draw[->,red] ([yshift=-0.5em]a2.south)--([xshift=0em,yshift=0em]dot2.east);
    
    \draw[->,red] ([xshift=-3.15em,yshift=0.5em]formular.north east)--([xshift=-3.15em,yshift=3.5em]formular.north east);
    
    \node [cal, callout absolute pointer={([yshift=0.3em]a2.north)}] at ([xshift=1.5em,yshift=2em]a2.north) {字母表中的符号};
    
    \node [cal, callout absolute pointer={([xshift=-0.5em]q.west)}] at ([xshift=-4.5em,yshift=1.5em]q.west) {$\bar{\varepsilon}\mathrm{NFA}$开始态集};
    
\end{tikzpicture}

